In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
111	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
112	CS140 Operating Systems and Systems Programming Midterm Exam October 29th, 2004 (Total time = 50 minutes, Total Points = 50) Name: (please print)______________________________ In recognition of and in the spirit of the S Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:12 Scheduling Linearizability Operating system Lock Thread Computer architecture Paging Concurrency control Computing Concurrency
113	Optimal Stack Slot Assignment in GCC Naveen Sharma Sanjiv Kumar Gupta System Software Group Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Assembly languages Subroutines Stack Pointer GNU Compiler Collection Addressing mode Processor register Register allocation C Computing Software engineering Computer programming
114	CS140 Operating Systems and Systems Programming Midterm Exam February 9th, 2004 (Total time = 50 minutes, Total Points = 50) Name: (please print)______________________________ In recognition of and in the spirit of the S Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:12 Page replacement algorithm Scheduling Operating system Page fault THE multiprogramming system Working set Library Thrashing C dynamic memory allocation Virtual memory Computer memory Computing
115	DynJava: Type Safe Dynamic Code Generation in Java Yutaka Oiwa Hidehiko Masuhara Akinori Yonezawa Add to Reading List Source URL: wwwfun.kurims.kyoto-u.ac.jp Language: English - Date: 2001-03-13 22:08:46 Procedural programming languages Cross-platform software Type theory Java C Type system Regular expression Generator ALGOL 68 Computing Software engineering Computer programming
116	CS140 Operating Systems and Systems Programming Final Exam December 12, 2005 Name: (please print)______________________________ In recognition of and in the spirit of the Stanford University Honor Code, I certify Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:12 Cryptographic hash function Crypt Cyberwarfare Computer security Security Cryptography Public-key cryptography File system
117	Deterministic Process Groups in dOS Tom Bergan Nicholas Hunt Luis Ceze Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2010-09-19 15:21:20 Concurrent computing Thread Concurrency control Determinism NL Indeterminism Monitor Deterministic system Shim Computing Computer programming Software engineering
118	Activity 1.4.1_final report Add to Reading List Source URL: www.metabolic-programming.org Language: English - Date: 2013-05-22 07:07:32 Microbiology Probiotics Bacteriology Digestive system Lactobacillaceae Lactobacillus rhamnosus Probiotics in pediatrics Atopic dermatitis Eczema Medicine Biology Health
119	CS140 Operating Systems and Systems Programming Final Exam March 19, 2007 Name: (please print)______________________________ In recognition of and in the spirit of the Stanford University Honor Code, I certify Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-12-29 17:31:12 Page table Page File system Computer architecture Computing Memory management Virtual memory Computer hardware
120	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science